Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
521	Client Success Case GLOBAL New Product Introduction Add to Reading List Source URL: www.gpdesign.com Language: English - Date: 2013-02-04 15:58:28 Science Software engineering Innovation New product development Software development process Systems engineering process Design Information hiding Systems science Systems engineering Product development Formal methods
522	Augmenting Experience Reports with Lightweight Postmortem Reviews Torgeir Dingsøyr1, Nils Brede Moe2 and Øystein Nytrø1,2 1Department of Computer and Information Science, Norwegian University of Science and Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:01:25 Software project management Management Systems engineering Methodology Software development process Software engineering Systems engineering process IBM Rational Unified Process Usability Software development Formal methods Information technology management
523	Data Sheet Actian Analytics Database Matrix High-Performance Analytics for the Enterprise Key Benefits Fast Analytics. Add to Reading List Source URL: wwwcdn2.actian.com Language: English - Date: 2015-04-01 20:09:56 Computing Technology Formal sciences Database theory Information technology management MicroStrategy Query plan Analytics Database Business intelligence Data management Database management systems
524	NIST Special Publication[removed]DRAFT NIST Big Data Interoperability Framework: Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2015-04-02 10:57:16 Database management systems Database theory Business intelligence Big data Data mining Data model Data quality Data analysis Data warehouse Data management Information Formal sciences
525	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
526	An Industry Response to Compliance Concerns: AHAM Verification Programs Presented by Charles A. Samuels, AHAM General Counsel Tuesday, September 14, 2010 Manufacturer Support of Ratings Verification Add to Reading List Source URL: www.iea-4e.org Language: English - Date: 2010-09-27 02:24:43 Food storage Refrigerator Science Technology Energy Star Association of Home Appliance Manufacturers Aham Verification and validation Formal verification Systems engineering Environment of the United States Food preservation
527	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics
528	Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:13 Logic in computer science Model checking Formal methods Functional specification Rewriting Maude Petri net Maude system Theoretical computer science Software development Computer science
529	NIST Special Publication[removed]DRAFT NIST Big Data Interoperability Framework: Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2015-04-02 10:59:26 Data management Database management systems Data analysis Formal sciences Database theory Big data Data mining Data architecture Cloud computing Computing Concurrent computing Information technology management
530	Use Case Title National Archives and Records Administration Accession NARA Accession, Search, Retrieve, Preservation Vertical (area) Digital Archives Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-21 09:58:21 Data management Database theory Formal sciences Big data Transaction processing Database Data center Internet privacy Data analysis Technology Computing Database management systems

UPDATE